Instance,nrRules,success,nrStates,n,runtime_ms
1,18,1,5,1,25
2,18,1,5,1,7
3,18,1,5,1,4
4,18,1,5,1,4
5,18,1,5,1,3
6,18,1,5,1,3
7,18,1,5,1,3
8,18,1,5,1,3
9,18,1,5,1,3
10,18,1,5,1,3
11,18,1,5,1,3
12,18,1,5,1,2
13,18,1,5,1,2
14,18,1,5,1,2
15,18,1,5,1,2
16,18,1,5,1,3
17,18,1,5,1,2
18,18,1,5,1,2
19,18,1,5,1,2
20,18,1,5,1,2
21,18,1,5,1,2
22,653,1,85,2,30
23,653,1,85,2,23
24,653,1,85,2,18
25,653,1,85,2,17
26,653,1,85,2,16
27,653,1,85,2,13
28,653,1,85,2,17
29,653,1,85,2,14
30,653,1,85,2,15
31,653,1,85,2,15
32,653,1,85,2,15
33,653,1,85,2,15
34,653,1,85,2,13
35,653,1,85,2,12
36,653,1,85,2,10
37,653,1,85,2,9
38,653,1,85,2,8
39,653,1,85,2,8
40,653,1,85,2,8
41,653,1,85,2,7
42,653,1,85,2,7
43,653,1,85,2,7
44,653,1,85,2,6
45,653,1,85,2,6
46,653,1,85,2,7
47,653,1,85,2,6
48,653,1,85,2,7
49,653,1,85,2,5
50,653,1,85,2,4
51,653,1,85,2,5
52,653,1,85,2,5
53,653,1,85,2,4
54,653,1,85,2,4
55,653,1,85,2,4
56,653,1,85,2,4
57,653,1,85,2,4
58,653,1,85,2,5
59,653,1,85,2,5
60,653,1,85,2,6
61,653,1,85,2,5
62,653,1,85,2,4
63,653,1,85,2,4
64,653,1,85,2,4
65,653,1,85,2,4
66,653,1,85,2,4
67,653,1,85,2,4
68,653,1,85,2,4
69,653,1,85,2,5
70,653,1,85,2,4
71,653,1,85,2,4
72,653,1,85,2,5
73,653,1,85,2,4
74,653,1,85,2,4
75,653,1,85,2,4
76,653,1,85,2,4
77,653,1,85,2,4
78,653,1,85,2,5
79,653,1,85,2,4
80,653,1,85,2,5
81,653,1,85,2,5
82,653,1,85,2,4
83,653,1,85,2,4
84,653,1,85,2,5
85,653,1,85,2,4
86,653,1,85,2,4
87,653,1,85,2,4
88,653,1,85,2,4
89,653,1,85,2,4
90,653,1,85,2,4
91,653,1,85,2,4
92,653,1,85,2,4
93,653,1,85,2,4
94,653,1,85,2,4
95,653,1,85,2,4
96,653,1,85,2,4
97,653,1,85,2,4
98,653,1,85,2,4
99,653,1,85,2,4
100,653,1,85,2,4
101,653,1,85,2,4
102,653,1,85,2,4
103,653,1,85,2,4
104,653,1,85,2,4
105,653,1,85,2,4
106,653,1,85,2,4
107,653,1,85,2,4
108,653,1,85,2,4
109,653,1,85,2,4
110,653,1,85,2,4
111,653,1,85,2,4
112,653,1,85,2,4
113,653,1,85,2,4
114,653,1,85,2,4
115,653,1,85,2,4
116,653,1,85,2,4
117,653,1,85,2,4
118,653,1,85,2,4
119,653,1,85,2,4
120,653,1,85,2,4
121,1687,1,181,2,9
122,653,1,85,2,4
123,653,1,85,2,4
124,653,1,85,2,4
125,653,1,85,2,4
126,653,1,85,2,4
127,653,1,85,2,4
128,653,1,85,2,4
129,653,1,85,2,4
130,653,1,85,2,4
131,653,1,85,2,4
132,653,1,85,2,4
133,653,1,85,2,4
134,653,1,85,2,6
135,653,1,85,2,5
136,653,1,85,2,5
137,653,1,85,2,5
138,653,1,85,2,3
139,653,1,85,2,5
140,653,1,85,2,4
141,653,1,85,2,5
142,653,1,85,2,5
143,653,1,85,2,3
144,653,1,85,2,4
145,653,1,85,2,4
146,653,1,85,2,3
147,653,1,85,2,3
148,653,1,85,2,3
149,653,1,85,2,4
150,11424,1,785,3,54
151,11424,1,785,3,54
152,11424,1,785,3,64
153,11424,1,785,3,75
154,11424,1,785,3,60
155,11424,1,785,3,53
156,11424,1,785,3,52
157,11424,1,785,3,53
158,11424,1,785,3,52
159,11424,1,785,3,52
160,11424,1,785,3,54
161,11424,1,785,3,52
162,11424,1,785,3,52
163,11424,1,785,3,50
164,11424,1,785,3,52
165,11424,1,785,3,48
166,11424,1,785,3,46
167,11424,1,785,3,73
168,11424,1,785,3,84
169,11424,1,785,3,73
170,11424,1,785,3,72
171,11424,1,785,3,120
172,28786,1,1585,3,241
173,11424,1,785,3,114
174,28786,1,1585,3,245
175,11424,1,785,3,105
176,11424,1,785,3,61
177,11424,1,785,3,63
178,11424,1,785,3,110
179,11424,1,785,3,104
180,11424,1,785,3,63
181,28786,1,1585,3,135
182,11424,1,785,3,107
183,11424,1,785,3,113
184,11424,1,785,3,70
185,11424,1,785,3,69
186,28786,1,1585,3,126
187,11424,1,785,3,43
188,11424,1,785,3,43
189,11424,1,785,3,43
190,11424,1,785,3,43
191,11424,1,785,3,43
192,28786,1,1585,3,107
193,11424,1,785,3,46
194,11424,1,785,3,44
195,11424,1,785,3,43
196,11424,1,785,3,43
197,11424,1,785,3,43
198,11424,1,785,3,43
199,11424,1,785,3,47
200,11424,1,785,3,57
201,11424,1,785,3,46
202,11424,1,785,3,44
203,11424,1,785,3,43
204,11424,1,785,3,43
205,11424,1,785,3,43
206,11424,1,785,3,43
207,11424,1,785,3,43
208,11424,1,785,3,43
209,11424,1,785,3,43
210,11424,1,785,3,43
211,11424,1,785,3,43
212,11424,1,785,3,44
213,11424,1,785,3,45
214,11424,1,785,3,43
215,11424,1,785,3,47
216,11424,1,785,3,43
217,11424,1,785,3,43
218,11424,1,785,3,43
219,11424,1,785,3,43
220,11424,1,785,3,43
221,11424,1,785,3,46
222,11424,1,785,3,43
223,28786,1,1585,3,136
224,11424,1,785,3,69
225,28786,1,1585,3,159
226,11424,1,785,3,67
227,11424,1,785,3,59
228,11424,1,785,3,43
229,11424,1,785,3,43
230,11424,1,785,3,43
231,11424,1,785,3,43
232,11424,1,785,3,43
233,11424,1,785,3,43
234,11424,1,785,3,43
235,11424,1,785,3,44
236,11424,1,785,3,45
237,11424,1,785,3,44
238,11424,1,785,3,43
239,28786,1,1585,3,102
240,11424,1,785,3,43
241,28786,1,1585,3,103
242,11424,1,785,3,44
243,11424,1,785,3,43
244,11424,1,785,3,43
245,11424,1,785,3,44
246,11424,1,785,3,43
247,11424,1,785,3,43
248,11424,1,785,3,43
249,11424,1,785,3,46
250,11424,1,785,3,44
251,11424,1,785,3,43
252,11424,1,785,3,43
253,11424,1,785,3,43
254,11424,1,785,3,43
255,11424,1,785,3,43
256,11424,1,785,3,43
257,11424,1,785,3,43
258,11424,1,785,3,43
259,11424,1,785,3,45
260,11424,1,785,3,44
261,11424,1,785,3,43
262,11424,1,785,3,43
263,11424,1,785,3,47
264,11424,1,785,3,43
265,11424,1,785,3,43
266,11424,1,785,3,43
267,11424,1,785,3,43
268,11424,1,785,3,43
269,11424,1,785,3,42
270,128579,1,5113,4,547
271,125371,1,5121,4,712
272,298133,1,9353,4,1370
273,125371,1,5121,4,629
274,128579,1,5113,4,580
275,125371,1,5121,4,511
276,128579,1,5113,4,510
277,128579,1,5113,4,506
278,128579,1,5113,4,679
279,128579,1,5113,4,535
280,298133,1,9353,4,1061
281,125371,1,5121,4,628
282,125371,1,5121,4,625
283,316429,1,9529,4,1361
284,125371,1,5121,4,525
285,128579,1,5113,4,682
286,125371,1,5121,4,494
287,125371,1,5121,4,511
288,128579,1,5113,4,506
289,125371,1,5121,4,505
290,128579,1,5113,4,533
291,128579,1,5113,4,649
292,125371,1,5121,4,616
293,298133,1,9353,4,1352
294,125371,1,5121,4,652
295,714351,1,16849,4,2618
296,128579,1,5113,4,558
297,125371,1,5121,4,511
298,128579,1,5113,4,611
299,128579,1,5113,4,638
300,128579,1,5113,4,633
301,128579,1,5113,4,670
302,714351,1,16849,4,2776
303,298133,1,9353,4,1224
304,125371,1,5121,4,528
305,128579,1,5113,4,543
306,298133,1,9353,4,1303
307,128579,1,5113,4,642
308,125371,1,5121,4,620
309,298133,1,9353,4,1341
310,128579,1,5113,4,761
311,128579,1,5113,4,664
312,125371,1,5121,4,618
313,298133,1,9353,4,1259
314,128579,1,5113,4,635
315,128579,1,5113,4,686
316,298133,1,9353,4,1145
317,128579,1,5113,4,674
318,128579,1,5113,4,639
319,125371,1,5121,4,611
320,125371,1,5121,4,614
321,128579,1,5113,4,722
322,298133,1,9353,4,1403
323,125371,1,5121,4,613
324,316429,1,9529,4,1413
325,125371,1,5121,4,621
326,125371,1,5121,4,685
327,125371,1,5121,4,551
328,128579,1,5113,4,508
329,128579,1,5113,4,506
330,128579,1,5113,4,500
331,125371,1,5121,4,490
332,128579,1,5113,4,578
333,298133,1,9353,4,1252
334,125371,1,5121,4,661
335,125371,1,5121,4,644
336,128579,1,5113,4,633
337,298133,1,9353,4,1339
338,298133,1,9353,4,1441
339,125371,1,5121,4,618
340,125371,1,5121,4,617
341,128579,1,5113,4,678
342,298133,1,9353,4,1259
343,125371,1,5121,4,657
344,298133,1,9353,4,1445
345,128579,1,5113,4,511
346,125371,1,5121,4,486
347,125371,1,5121,4,490
348,125371,1,5121,4,498
349,125371,1,5121,4,507
350,125371,1,5121,4,555
351,298133,1,9353,4,1208
352,125371,1,5121,4,619
353,128579,1,5113,4,639
354,125371,1,5121,4,544
355,125371,1,5121,4,490
356,125371,1,5121,4,492
357,125371,1,5121,4,604
358,125371,1,5121,4,685
359,125371,1,5121,4,615
360,125371,1,5121,4,496
361,128579,1,5113,4,631
362,125371,1,5121,4,632
363,125371,1,5121,4,612
364,125371,1,5121,4,614
365,298133,1,9353,4,1516
366,125371,1,5121,4,662
367,125371,1,5121,4,617
368,125371,1,5121,4,654
369,128579,1,5113,4,622
370,125371,1,5121,4,605
371,128579,1,5113,4,626
372,128579,1,5113,4,631
373,128579,1,5113,4,632
374,128579,1,5113,4,676
375,125371,1,5121,4,618
376,125371,1,5121,4,536
377,125371,1,5121,4,545
378,298133,1,9353,4,1273
379,125371,1,5121,4,689
380,125371,1,5121,4,720
381,125371,1,5121,4,698
382,128579,1,5113,4,638
383,128579,1,5113,4,641
384,125371,1,5121,4,665
385,125371,1,5121,4,644
386,128579,1,5113,4,633
387,125371,1,5121,4,661
388,283453,1,9169,4,1296
389,125371,1,5121,4,695
390,128579,1,5113,4,628
391,128579,1,5113,4,624
392,125371,1,5121,4,583
393,125371,1,5121,4,649
394,128579,1,5113,4,630
395,125371,1,5121,4,692
396,125371,1,5121,4,688
397,128579,1,5113,4,714
398,128579,1,5113,4,654
399,128579,1,5113,4,638
400,125371,1,5121,4,641
401,125371,1,5121,4,649
402,125371,1,5121,4,611
403,298133,1,9353,4,1359
404,128579,1,5113,4,690
405,125371,1,5121,4,692
406,125371,1,5121,4,641
407,128579,1,5113,4,633
408,298133,1,9353,4,1216
409,714351,1,16849,4,2690
410,128579,1,5113,4,786
411,128579,1,5113,4,652
412,125371,1,5121,4,619
413,128579,1,5113,4,674
414,128579,1,5113,4,647
415,125371,1,5121,4,619
416,128579,1,5113,4,655
417,298133,1,9353,4,1452
418,128579,1,5113,4,754
419,128579,1,5113,4,691
420,125371,1,5121,4,613
421,128579,1,5113,4,638
422,298133,1,9353,4,1288
423,125371,1,5121,4,660
424,125371,1,5121,4,689
425,298133,1,9353,4,1428
426,128579,1,5113,4,704
427,298133,1,9353,4,1266
428,128579,1,5113,4,627
429,128579,1,5113,4,629
430,128579,1,5113,4,625
431,125371,1,5121,4,690
432,128579,1,5113,4,698
433,128579,1,5113,4,701
434,128579,1,5113,4,677
435,128579,1,5113,4,524
436,125371,1,5121,4,489
437,125371,1,5121,4,487
438,125371,1,5121,4,484
439,128579,1,5113,4,504
440,125371,1,5121,4,557
441,128579,1,5113,4,599
442,128579,1,5113,4,672
443,128579,1,5113,4,648
444,825174,1,23069,5,4552
445,1761824,1,38429,5,8520
446,942054,1,24173,5,4863
447,1401288,1,34461,5,6176
448,1664856,1,37245,5,7320
449,942054,1,24173,5,5931
450,942054,1,24173,5,5164
451,825174,1,23069,5,4369
452,942054,1,24173,5,4861
453,825174,1,23069,5,4111
454,942054,1,24173,5,4805
455,731942,1,21901,5,3519
456,731942,1,21901,5,3897
457,731942,1,21901,5,3844
458,825174,1,23069,5,4357
459,942054,1,24173,5,5153
460,1401560,1,34541,5,6423
461,825174,1,23069,5,3948
462,1401560,1,34541,5,6342
463,3233914,1,57485,5,11646
464,731942,1,21901,5,3662
465,825174,1,23069,5,4238
466,1401560,1,34541,5,6242
467,731942,1,21901,5,3903
468,1664856,1,37245,5,7749
469,942054,1,24173,5,5381
470,825174,1,23069,5,4501
471,731942,1,21901,5,3942
472,825174,1,23069,5,4680
473,942054,1,24173,5,5429
474,825174,1,23069,5,4537
475,942054,1,24173,5,5198
476,825174,1,23069,5,4623
477,825174,1,23069,5,4553
478,942054,1,24173,5,5169
479,1401560,1,34541,5,6476
480,825174,1,23069,5,4556
481,1664856,1,37245,5,7826
482,942054,1,24173,5,5331
483,942054,1,24173,5,5251
484,942054,1,24173,5,5221
485,731942,1,21901,5,4145
486,2302050,1,50461,5,9727
487,1401560,1,34541,5,6254
488,731942,1,21901,5,4133
489,825174,1,23069,5,4367
490,1664856,1,37245,5,7757
491,285296,0,9628,5,1241
492,1761824,1,38429,5,8910
493,1664856,1,37245,5,8407
494,1401560,1,34541,5,6440
495,1664856,1,37245,5,7486
496,825174,1,23069,5,4530
497,731942,1,21901,5,4088
498,1737688,1,37645,5,8778
499,3233914,1,57485,5,13936
500,942054,1,24173,5,6621
501,942054,1,24173,5,5437
502,1664856,1,37245,5,7663
503,731942,1,21901,5,3998
504,1664856,1,37245,5,7442
505,825174,1,23069,5,4613
506,825174,1,23069,5,4344
507,1401560,1,34541,5,6572
508,942054,1,24173,5,5211
509,825174,1,23069,5,4754
510,731942,1,21901,5,4097
511,1401560,1,34541,5,6390
512,825174,1,23069,5,4652
513,731942,1,21901,5,4215
514,1737688,1,37645,5,8352
515,825174,1,23069,5,4759
516,825174,1,23069,5,4402
517,1737688,1,37645,5,8405
518,825174,1,23069,5,4451
519,1737688,1,37645,5,8314
520,1404256,1,34381,5,6884
521,825174,1,23069,5,4635
522,825174,1,23069,5,4737
523,1737688,1,37645,5,8359
524,731942,1,21901,5,4502
525,825174,1,23069,5,4662
526,3022330,1,56237,5,14403
527,1664856,1,37245,5,8685
528,825174,1,23069,5,4957
529,731942,1,21901,5,5132
530,825174,1,23069,5,5011
531,1401560,1,34541,5,6342
532,942054,1,24173,5,5010
533,825174,1,23069,5,4205
534,731942,1,21901,5,4231
535,1664856,1,37245,5,7825
536,731942,1,21901,5,3840
537,825174,1,23069,5,4388
538,825174,1,23069,5,4380
539,825174,1,23069,5,4229
540,825174,1,23069,5,4569
541,825174,1,23069,5,4191
542,825174,1,23069,5,4648
543,731942,1,21901,5,4036
544,942054,1,24173,5,4921
545,731942,1,21901,5,3832
546,825174,1,23069,5,4235
547,1401560,1,34541,5,6588
548,942054,1,24173,5,4906
549,1401560,1,34541,5,5950
550,825174,1,23069,5,4532
551,731942,1,21901,5,4331
552,942054,1,24173,5,4850
553,2302050,1,50461,5,9399
554,825174,1,23069,5,4299
555,731942,1,21901,5,4288
556,825174,1,23069,5,4404
557,942054,1,24173,5,4768
558,825174,1,23069,5,4274
559,731942,1,21901,5,3919
560,1737688,1,37645,5,7644
561,1664856,1,37245,5,7813
562,731942,1,21901,5,3941
563,1737688,1,37645,5,7890
564,825174,1,23069,5,4229
565,1664856,1,37245,5,7459
566,731942,1,21901,5,3771
567,731942,1,21901,5,3685
568,825174,1,23069,5,4109
569,825174,1,23069,5,4306
570,942054,1,24173,5,4968
571,1664856,1,37245,5,7268
572,825174,1,23069,5,4275
573,1737688,1,37645,5,7618
574,825174,1,23069,5,4114
575,942054,1,24173,5,4949
576,825174,1,23069,5,4353
577,3290162,1,59037,5,13164
578,1737688,1,37645,5,7709
579,2504698,1,51533,5,9864
580,825174,1,23069,5,4469
581,825174,1,23069,5,4266
582,942054,1,24173,5,5026
583,825174,1,23069,5,4254
584,825174,1,23069,5,4611
585,825174,1,23069,5,4567
586,1401288,1,34461,5,6072
587,731942,1,21901,5,3732
588,825174,1,23069,5,4706
589,825174,1,23069,5,4507
590,731942,1,21901,5,3861
591,942054,1,24173,5,4956
592,825174,1,23069,5,4538
593,731942,1,21901,5,3898
594,825174,1,23069,5,4251
595,731942,1,21901,5,3838
596,731942,1,21901,5,3791
597,1664856,1,37245,5,7761
598,1401560,1,34541,5,6121
599,1401560,1,34541,5,5889
600,942054,1,24173,5,5102
601,942054,1,24173,5,5009
602,825174,1,23069,5,4333
603,1737688,1,37645,5,7491
604,825174,1,23069,5,4574
605,825174,1,23069,5,4459
606,825174,1,23069,5,4289
607,1664856,1,37245,5,7245
608,1401288,1,34461,5,6427
609,731942,1,21901,5,3709
610,825174,1,23069,5,4316
611,2302050,1,50461,5,8858
612,825174,1,23069,5,4128
613,825174,1,23069,5,4456
614,731942,1,21901,5,3796
615,731942,1,21901,5,3765
616,1761824,1,38429,5,8817
617,731942,1,21901,5,3702
618,731942,1,21901,5,3877
619,731942,1,21901,5,3785
620,825174,1,23069,5,4490
621,825174,1,23069,5,4595
622,731942,1,21901,5,3874
623,1401560,1,34541,5,6001
624,731942,1,21901,5,3716
625,1401560,1,34541,5,6725
626,942054,1,24173,5,4914
627,825174,1,23069,5,4322
628,2301498,1,50365,5,8809
629,731942,1,21901,5,3898
630,942054,1,24173,5,5054
631,942054,1,24173,5,5032
632,731942,1,21901,5,3830
633,1664856,1,37245,5,7818
634,1401288,1,34461,5,6091
635,825174,1,23069,5,4295
636,825174,1,23069,5,4291
637,825174,1,23069,5,4576
638,825174,1,23069,5,4516
639,731942,1,21901,5,3714
640,942054,1,24173,5,4802
641,825174,1,23069,5,4296
642,1401288,1,34461,5,6570
643,731942,1,21901,5,3884
644,731942,1,21901,5,3715
645,942054,1,24173,5,4695
646,825174,1,23069,5,4206
647,825174,1,23069,5,4534
648,942054,1,24173,5,5416
649,1664856,1,37245,5,7351
650,942054,1,24173,5,4786
651,825174,1,23069,5,4395
652,1401560,1,34541,5,6559
653,1737688,1,37645,5,7669
654,825174,1,23069,5,4161
655,825174,1,23069,5,4357
656,825174,1,23069,5,4858
657,731942,1,21901,5,3913
658,942054,1,24173,5,4854
659,3327169,1,74061,6,17526
660,2711385,1,67541,6,14358
661,4310281,1,83349,6,23722
662,3327169,1,74061,6,17644
663,3328753,1,74157,6,17531
664,3327169,1,74061,6,18725
665,3327169,1,74061,6,17951
666,5870123,1,106805,6,27512
667,4028969,1,80677,6,21535
668,5579345,1,94813,6,31481
669,5310843,1,102213,6,24331
670,4310281,1,83349,6,23770
671,3328753,1,74157,6,17136
672,3328753,1,74157,6,18875
673,4310281,1,83349,6,23318
674,5579345,1,94813,6,30167
675,3327169,1,74061,6,17943
676,4028969,1,80677,6,21088
677,3328753,1,74157,6,18230
678,5330907,1,102981,6,25260
679,4310281,1,83349,6,22854
680,3328753,1,74157,6,18637
681,5306555,1,101717,6,25926
682,5579345,1,94813,6,30465
683,2711385,1,67541,6,15873
684,3327169,1,74061,6,17051
685,30277817,1,303053,6,123069
686,3327169,1,74061,6,22692
687,4310281,1,83349,6,26067
688,5310843,1,102213,6,23684
689,5310843,1,102213,6,24622
690,4028969,1,80677,6,21606
691,4028969,1,80677,6,21118
692,3327169,1,74061,6,18172
693,8926679,1,151861,6,32301
694,4108955,1,91949,6,18216
695,5330907,1,102981,6,22789
696,4103299,1,91357,6,19396
697,4028969,1,80677,6,20459
698,7486283,1,119813,6,32955
699,3328753,1,74157,6,17087
700,5330907,1,102981,6,22454
701,5579345,1,94813,6,29036
702,5579345,1,94813,6,28125
703,4028969,1,80677,6,19988
704,4028969,1,80677,6,20520
705,13381941,1,174733,6,53889
706,4028969,1,80677,6,19883
707,5310843,1,102213,6,22657
708,4028969,1,80677,6,20278
709,4108955,1,91949,6,18534
710,17168907,1,226261,6,58281
711,5327827,1,102637,6,24377
712,3328753,1,74157,6,16802
713,3328753,1,74157,6,16965
714,3327169,1,74061,6,17175
715,4028969,1,80677,6,20336
716,3327169,1,74061,6,17453
717,23124727,1,242949,6,80456
718,5327827,1,102637,6,23733
719,4028969,1,80677,6,20638
720,2711385,1,67541,6,13989
721,5991963,1,110061,6,28288
722,22293535,1,228933,6,77146
723,11161229,1,157029,6,43750
724,4310281,1,83349,6,22818
725,4108955,1,91949,6,18257
726,4028969,1,80677,6,20738
727,3327169,1,74061,6,17202
728,3327169,1,74061,6,17214
729,3327169,1,74061,6,17336
730,4310281,1,83349,6,22546
731,4106907,1,91797,6,18508
732,4310281,1,83349,6,23185
733,4106907,1,91797,6,18823
734,5310843,1,102213,6,22909
735,4028969,1,80677,6,20846
736,7106333,1,129717,6,28588
737,7106333,1,129717,6,28530
738,4310281,1,83349,6,22386
739,4310281,1,83349,6,22083
740,5310843,1,102213,6,23260
741,5870123,1,106805,6,26805
742,2711385,1,67541,6,14022
743,2711385,1,67541,6,13677
744,2711385,1,67541,6,14119
745,5327827,1,102637,6,23294
746,5327827,1,102637,6,23749
747,4310281,1,83349,6,22592
748,3328753,1,74157,6,17046
749,5327827,1,102637,6,24018
750,7486283,1,119813,6,32892
751,5870123,1,106805,6,26216
752,3327169,1,74061,6,17308
753,5310843,1,102213,6,22979
754,5310843,1,102213,6,22617
755,4310281,1,83349,6,22636
756,5870123,1,106805,6,26687
757,2711385,1,67541,6,13929
758,3327169,1,74061,6,17003
759,2711385,1,67541,6,14223
760,4310281,1,83349,6,21530
761,4310281,1,83349,6,22539
762,4106907,1,91797,6,18542
763,4310281,1,83349,6,22393
764,4310281,1,83349,6,22677
765,3327169,1,74061,6,17147
766,9201887,1,157813,6,34378
767,4103299,1,91357,6,18680
768,5330907,1,102981,6,23218
769,3327169,1,74061,6,16931
770,3327169,1,74061,6,17362
771,4028969,1,80677,6,20928
772,4310281,1,83349,6,22707
773,5579345,1,94813,6,29068
774,4310281,1,83349,6,22646
775,3327169,1,74061,6,16844
776,2711385,1,67541,6,14147
777,5330907,1,102981,6,23514
778,5310843,1,102213,6,22824
779,3327169,1,74061,6,16666
780,3327169,1,74061,6,16763
781,3327169,1,74061,6,18414
782,3327169,1,74061,6,16776
783,4103299,1,91357,6,18770
784,5310843,1,102213,6,22786
785,3327169,1,74061,6,17297
786,5330907,1,102981,6,23491
787,3328753,1,74157,6,17124
788,5327827,1,102637,6,23456
789,2664517,0,54656,6,10471
790,3328753,1,74157,6,17107
791,5330907,1,102981,6,25066
792,3328753,1,74157,6,17364
793,3328753,1,74157,6,16722
794,3327169,1,74061,6,16989
795,2711385,1,67541,6,14155
796,4310281,1,83349,6,21810
797,4028969,1,80677,6,20418
798,3328753,1,74157,6,17215
799,4310281,1,83349,6,22534
800,4106907,1,91797,6,18885
801,7486283,1,119813,6,32889
802,3327169,1,74061,6,16803
803,7486283,1,119813,6,32786
804,8211013,1,137549,6,32149
805,3328753,1,74157,6,16788
806,3327169,1,74061,6,16973
807,3327169,1,74061,6,17465
808,5884483,1,107149,6,25826
809,4310281,1,83349,6,22052
810,4310281,1,83349,6,23084
811,4310281,1,83349,6,21685
812,5310843,1,102213,6,23344
813,7059781,1,128621,6,28369
814,7012861,1,127565,6,26775
815,4103299,1,91357,6,19404
816,2711385,1,67541,6,14146
817,3328753,1,74157,6,16938
818,7583443,1,121957,6,35658
819,3328753,1,74157,6,16679
820,3328753,1,74157,6,17114
821,7486283,1,119813,6,33279
822,12612999,1,181133,6,46321
823,4310281,1,83349,6,22401
824,3328753,1,74157,6,17373
825,3327169,1,74061,6,17029
826,5306555,1,101717,6,23648
827,4310281,1,83349,6,21969
828,4310281,1,83349,6,22215
829,4028969,1,80677,6,20798
830,4310281,1,83349,6,22524
831,3328753,1,74157,6,17045
832,3327169,1,74061,6,17945
833,3327169,1,74061,6,17198
834,7486283,1,119813,6,32734
835,4028969,1,80677,6,20241
836,4310281,1,83349,6,22679
837,4028969,1,80677,6,20645
838,2711385,1,67541,6,14186
839,3327169,1,74061,6,16825
840,3327169,1,74061,6,17176
841,8211013,1,137549,6,32772
842,7583443,1,121957,6,35790
843,4310281,1,83349,6,22431
844,3328753,1,74157,6,17325
845,1708563,0,39120,6,7463
846,17688444,1,246929,7,92534
847,19382830,1,274609,7,88827
848,9620828,1,186673,7,48537
849,12417564,1,209201,7,62691
850,12394716,1,208241,7,62663
851,19395134,1,275105,7,84835
852,13911164,1,222097,7,70334
853,12410742,1,225297,7,53515
854,12417564,1,209201,7,63060
855,29146284,1,330113,7,160700
856,12394716,1,208241,7,60369
857,9620828,1,186673,7,50697
858,16666654,1,255313,7,72866
859,22651344,1,313825,7,90716
860,23685438,1,309825,7,109860
861,20358060,1,269633,7,106862
862,9616508,1,186481,7,50956
863,23685438,1,309825,7,111435
864,12394716,1,208241,7,64467
865,7434748,1,166065,7,40726
866,19501422,1,278193,7,87642
867,19501422,1,278193,7,90109
868,17688444,1,246929,7,89181
869,31352448,1,360337,7,126163
870,9447566,1,199793,7,45892
871,9616508,1,186481,7,51649
872,12417564,1,209201,7,63663
873,12410742,1,225297,7,53985
874,9368486,1,200273,7,42654
875,13911164,1,222097,7,72302
876,52137314,1,489697,7,199663
877,16540360,1,274385,7,72893
878,37829278,1,401857,7,183139
879,13401832,1,247313,7,54641
880,20358060,1,269633,7,108994
881,22503344,1,312465,7,99457
882,13851500,1,220225,7,71838
883,17688444,1,246929,7,92284
884,36726538,1,404625,7,140009
885,9610412,1,186241,7,55847
886,12394716,1,208241,7,67800
887,18380096,1,286929,7,76615
888,9616508,1,186481,7,51979
889,9616508,1,186481,7,53713
890,122604542,1,817809,7,473670
891,13911164,1,222097,7,74448
892,17688444,1,246929,7,96150
893,13340038,1,236545,7,70201
894,27824144,1,356241,7,124483
895,31688608,1,364385,7,135584
896,18520288,1,287201,7,82116
897,13851500,1,220225,7,80812
898,9616508,1,186481,7,57830
899,43515986,1,481057,7,181743
900,19433534,1,276641,7,90654
901,12394716,1,208241,7,66414
902,16666654,1,255313,7,79061
903,12390382,1,224737,7,58503
904,17688444,1,246929,7,100256
905,13520096,1,249249,7,59984
906,14988358,1,252721,7,79167
907,13911164,1,222097,7,77136
908,9620828,1,186673,7,52974
909,12417564,1,209201,7,68938
910,27066240,1,341473,7,118525
911,13911164,1,222097,7,80141
912,12390382,1,224737,7,58742
913,9616508,1,186481,7,54849
914,16666654,1,255313,7,79825
915,13911164,1,222097,7,76543
916,17688444,1,246929,7,100554
917,19395134,1,275105,7,92296
918,12491342,1,226913,7,62151
919,25975566,1,314337,7,121626
920,13851500,1,220225,7,78474
921,9610412,1,186241,7,54953
922,14419310,1,240161,7,69040
923,7434748,1,166065,7,44496
924,9616508,1,186481,7,54794
925,18556992,1,290209,7,80167
926,48002080,1,454817,7,222545
927,16666654,1,255313,7,79671
928,12394716,1,208241,7,66536
929,9616508,1,186481,7,53701
930,16740462,1,256353,7,85144
931,9616508,1,186481,7,53472
932,19359150,1,274977,7,94283
933,9616508,1,186481,7,54754
934,12394716,1,208241,7,67792
935,9620828,1,186673,7,54507
936,9610412,1,186241,7,56976
937,12467886,1,224433,7,61503
938,19395134,1,275105,7,89060
939,19395134,1,275105,7,96696
940,16666654,1,255313,7,76551
941,14419310,1,240161,7,73380
942,31688608,1,364385,7,134196
943,9616508,1,186481,7,57471
944,9620828,1,186673,7,54687
945,12390382,1,224737,7,58441
946,25975566,1,314337,7,125034
947,22250016,1,309793,7,97614
948,12417564,1,209201,7,68423
949,13594120,1,250577,7,62986
950,41655970,1,445137,7,167111
951,13911164,1,222097,7,75964
952,18380096,1,286929,7,77339
953,36790714,1,405009,7,156281
954,12463150,1,227041,7,58925
955,25975566,1,314337,7,130419
956,16666654,1,255313,7,77391
957,19359150,1,274977,7,99136
958,17688444,1,246929,7,96710
959,17688444,1,246929,7,101781
960,19545198,1,276561,7,96228
961,9616508,1,186481,7,53718
962,9616508,1,186481,7,59700
963,9610412,1,186241,7,57543
964,13851500,1,220225,7,74406
965,37788256,1,394145,7,175640
966,19545198,1,276561,7,96302
967,9616508,1,186481,7,59435
968,19395134,1,275105,7,95142
969,13911164,1,222097,7,76369
970,17688444,1,246929,7,107018
971,20358060,1,269633,7,114631
972,12394716,1,208241,7,69286
973,12394716,1,208241,7,75511
974,12394716,1,208241,7,69141
975,18520288,1,287201,7,85575
976,20358060,1,269633,7,132340
977,17688444,1,246929,7,106618
978,13851500,1,220225,7,83708
979,22651344,1,313825,7,98700
980,19359150,1,274977,7,94656
981,13851500,1,220225,7,84681
982,9616508,1,186481,7,55052
983,12394716,1,208241,7,68365
984,20358060,1,269633,7,127868
985,19382830,1,274609,7,98870
986,30292838,1,346769,7,182462
987,16666654,1,255313,7,85793
988,17688444,1,246929,7,113250
989,22162767,1,396137,8,144937
990,40816033,1,544297,8,226006
991,45817999,1,548121,8,258619
992,74101799,1,707521,8,457169
993,40285753,1,547777,8,217551
994,28447273,0,355932,8,150246
995,29499367,1,449217,8,174007
996,65816569,1,678385,8,339121
997,22162767,1,396137,8,144198
998,46028575,1,554217,8,263569
999,32518265,1,486401,8,165080
1000,45817999,1,548121,8,264328
1001,74101799,1,707521,8,443796
1002,22165503,1,396233,8,132018
1003,34486023,1,485249,8,205541
1004,29604169,1,471745,8,165707
1005,29604169,1,471745,8,158601
1006,65751289,1,675409,8,324635
1007,24679473,1,437097,8,132522
1008,29414455,1,446481,8,179350
1009,39995977,1,541201,8,212153
1010,71166825,1,720753,8,357048
1011,34486023,1,485249,8,211267
1012,87353019,1,847369,8,461480
1013,66401755,1,695009,8,303597
1014,30096155,1,484785,8,140448
1015,46028575,1,554217,8,255968
1016,71030785,1,717865,8,371685
1017,22165503,1,396233,8,135077
1018,24195001,1,428329,8,121206
1019,70195303,1,676401,8,404891
1020,46028575,1,554217,8,255358
1021,60156517,1,673809,8,266071
1022,52022395,1,622145,8,234900
1023,24679473,1,437097,8,130885
1024,22165503,1,396233,8,125987
1025,38283827,1,535473,8,177076
1026,54882785,1,622649,8,270636
1027,54484785,1,614265,8,261382
1028,53125195,1,633857,8,232837
1029,54822601,1,622513,8,265242
1030,84626349,1,815249,8,384054
1031,56211631,1,621801,8,322329
1032,54510545,1,615401,8,277307
1033,74101799,1,707521,8,430496
1034,33140473,1,496225,8,172492
1035,31265925,1,501305,8,136810
1036,87720989,1,851593,8,379157
1037,54523473,1,614265,8,262819
1038,47735827,1,594561,8,191172
1039,24111451,1,450785,8,120235
1040,45817999,1,548121,8,264065
1041,75666581,1,761353,8,333423
1042,29499367,1,449217,8,170510
1043,118625677,1,981801,8,525613
1044,29479831,1,448353,8,177802
1045,34275255,1,480065,8,201176
1046,57055889,1,646337,8,315672
1047,105738133,1,918753,8,463506
1048,40820883,1,560233,8,185572
1049,39995977,1,541201,8,204806
1050,29499367,1,449217,8,170830
1051,70195303,1,676401,8,409553
1052,26636977,1,445049,8,118679
1053,29002161,1,459369,8,145743
1054,57744141,1,677873,8,253909
1055,39995977,1,541201,8,206323
1056,74101799,1,707521,8,431689
1057,29902777,1,478609,8,159687
1058,34614039,1,489137,8,198002
1059,56211631,1,621801,8,330175
1060,40946747,1,586857,8,202121
1061,22894291,1,430457,8,104723
1062,29419543,1,446625,8,174019
1063,22155087,1,395897,8,131951
1064,55355197,1,657297,8,235157
1065,34614039,1,489137,8,203523
1066,52154649,1,623505,8,280030
1067,54809563,1,661073,8,256056
1068,67463459,1,702825,8,316349
1069,52695363,1,623209,8,244684
1070,29419543,1,446625,8,172451
1071,22165503,1,396233,8,134554
1072,22165503,1,396233,8,132471
1073,71166825,1,720753,8,356435
1074,34486023,1,485249,8,204501
1075,31192793,1,501161,8,180268
1076,30023027,1,478641,8,138538
1077,24301241,1,430577,8,124935
1078,25099417,1,438097,8,136933
1079,56211631,1,621801,8,329024
1080,22162767,1,396137,8,135126
1081,18005041,0,272652,8,91896
1082,45817999,1,548121,8,257064
1083,16763879,1,349105,8,100798
1084,52212049,1,625321,8,285096
1085,39066467,1,544905,8,190038
1086,34486023,1,485249,8,204930
1087,66401755,1,695009,8,310667
1088,66537075,1,690217,8,299583
1089,28286315,1,466689,8,135903
1090,29419543,1,446625,8,169397
1091,39660321,1,532713,8,199647
1092,34486023,1,485249,8,206384
1093,56211631,1,621801,8,334591
1094,62867365,1,698001,8,273266
1095,54526949,1,647113,8,247816
1096,45968239,1,551625,8,266572
1097,45968239,1,551625,8,267539
1098,24301241,1,430577,8,130718
1099,55848993,1,640833,8,300293
1100,34486023,1,485249,8,206896
1101,70195303,1,676401,8,419844
1102,32658713,1,489473,8,166449
1103,66199049,1,681617,8,353924
1104,114581513,1,903329,8,632963
1105,33526961,1,495017,8,182588
1106,32902309,1,513777,8,149798
1107,74101799,1,707521,8,447310
1108,45817999,1,548121,8,265019
1109,24602163,1,445849,8,127075
1110,39751425,1,535785,8,201348
1111,65977275,1,678313,8,304509
1112,38880315,1,545257,8,177054
1113,56401471,1,627561,8,331756
1114,34614039,1,489137,8,206489
1115,56401471,1,627561,8,334458
1116,45817999,1,548121,8,258333
1117,54379849,1,614593,8,281032
1118,39660321,1,532713,8,203508
1119,65816569,1,678385,8,333090
1120,25982685,1,472793,8,122153
1121,29419543,1,446625,8,170303
1122,46028575,1,554217,8,268244
1123,238774648,1,1580637,9,1193939
1124,61832518,1,892301,9,312275
1125,71851108,1,956941,9,388407
1126,171456834,1,1429757,9,1081643
1127,96662162,1,1060333,9,572539
1128,189781556,1,1601069,9,1103169
1129,262958804,1,1870989,9,1323193
1130,97603236,1,1092717,9,524452
1131,171353154,1,1424765,9,1056844
1132,145619382,1,1313773,9,699710
1133,168256598,1,1445421,9,816615
1134,72044756,1,957245,9,401886
1135,96789074,1,1062541,9,566844
1136,79393650,1,960653,9,455404
1137,102983758,1,1084973,9,479745
1138,96078866,1,1048717,9,568900
1139,56398020,1,843933,9,297037
1140,82552422,1,1023757,9,399390
1141,144676278,1,1305037,9,692076
1142,79063336,1,981357,9,347870
1143,254355494,1,1827981,9,1390779
1144,212016068,1,1696077,9,940233
1145,261960044,1,1878077,9,1744292
1146,163968782,1,1393965,9,797630
1147,99361220,1,1134605,9,578627
1148,71851108,1,956941,9,395080
1149,146294902,1,1323869,9,726284
1150,99659768,1,1100797,9,462678
1151,79608882,1,966413,9,470942
1152,96301396,1,1069549,9,492064
1153,51940140,1,801597,9,281429
1154,71382532,1,945229,9,383111
1155,70993596,1,936477,9,376155
1156,97677396,1,1091853,9,529294
1157,254942454,1,1831837,9,1495974
1158,121804500,1,1205325,9,676888
1159,199985074,1,1674973,9,968123
1160,152407232,1,1421341,9,789307
1161,70132132,1,921709,9,397029
1162,32210626,1,626845,9,167095
1163,21434426,1,479069,9,118591
1164,79241778,1,957389,9,476684
1165,96801554,1,1064461,9,590201
1166,97603236,1,1092717,9,540187
1167,212590086,1,1583725,9,1156840
1168,43930642,1,746637,9,275578
1169,56619060,1,848445,9,301501
1170,43459910,1,778845,9,247911
1171,168075222,1,1441117,9,852556
1172,58533026,1,840637,9,351726
1173,260487556,1,1847917,9,1624738
1174,189515894,1,1459005,9,945987
1175,96091972,1,1064269,9,515904
1176,79608882,1,966413,9,477407
1177,96662162,1,1060333,9,607099
1178,58735010,1,845341,9,372338
1179,58811522,1,847837,9,360788
1180,57979150,1,840269,9,286651
1181,73550184,1,1010285,9,380136
1182,96630002,1,1058701,9,584585
1183,43933204,1,768781,9,261652
1184,159085634,1,1348189,9,995146
1185,71596132,1,949069,9,396344
1186,58811522,1,847837,9,358321
1187,215735350,1,1604765,9,1101305
1188,96301396,1,1069549,9,495748
1189,131963298,1,1214717,9,835608
1190,170869890,1,1413437,9,1119776
1191,121587878,1,1233597,9,644234
1192,183675996,1,1466173,9,840153
1193,59247646,1,846125,9,313662
1194,121804500,1,1205325,9,689196
1195,43937266,1,746829,9,295181
1196,109261670,1,1152669,9,544201
1197,56619060,1,848445,9,309321
1198,101979060,1,1108989,9,602013
1199,107414886,1,1147597,9,561875
1200,56041964,1,835277,9,308048
1201,95990212,1,1061197,9,501629
1202,172016456,0,1274932,9,858384
1203,228927711,1,2152125,10,1459091
1204,104488053,1,1462805,10,672140
1205,126533905,1,1637981,10,749824
1206,140077309,1,1651197,10,935918
1207,177174813,1,1863149,10,1200187
1208,243369033,1,2157541,10,1382350
1209,273766007,1,2257589,10,1753107
1210,332119401,1,2567485,10,2129611
1211,90196945,1,1335413,10,508816
1212,68506137,1,1173037,10,360251
1213,0,0,0,10,6448084
1214,301631253,1,2357765,10,2275497
1215,364215421,1,2409637,10,1908598
1216,153153063,1,1716837,10,989765
1217,140681149,1,1667517,10,942479
1218,158267743,1,1779853,10,976874
1219,400098751,1,2756413,10,2629989
1220,170656239,1,1897341,10,1063451
1221,104282709,1,1457861,10,661846
1222,160844841,1,1759237,10,865707
1223,104655333,1,1467557,10,681416
1224,121086161,1,1554525,10,727831
1225,213567903,1,2041149,10,1318398
1226,67023305,1,1147749,10,357321
1227,194122297,1,1769157,10,931830
1228,104569413,1,1465253,10,676102
1229,152765321,1,1661901,10,821511
1230,104009157,1,1450805,10,665912
1231,319913131,1,2593773,10,1849967
1232,104009157,1,1450805,10,638745
1233,237925425,1,2098357,10,1507614
1234,63913557,1,1108269,10,357877
1235,238740997,1,2075877,10,1780584
1236,70071571,1,1170933,10,373552
1237,87909091,1,1338885,10,452890
1238,156224063,1,1718909,10,925815
1239,116561567,1,1534925,10,725435
1240,140077309,1,1651197,10,957675
1241,332940805,1,2539317,10,2497656
1242,91671049,1,1336469,10,481912
1243,105770995,1,1390725,10,543218
1244,189200851,1,1865517,10,1002731
1245,272016079,1,2232013,10,1681751
1246,244155065,1,2158941,10,1397830
1247,90181759,1,1359517,10,525785
1248,158347087,1,1784509,10,1001923
1249,122530163,1,1390909,10,651157
1250,367246561,1,2492765,10,2112059
1251,130150347,1,1507397,10,676527
1252,104488053,1,1462805,10,730254
1253,563622781,1,3227805,10,5027267
1254,117754345,1,1504517,10,620489
1255,104007237,1,1450661,10,720791
1256,104405493,1,1459781,10,773421
1257,276538855,1,2274949,10,1896480
1258,102629443,1,1328133,10,508176
1259,107264097,1,1436389,10,592576
1260,101022749,1,1239917,10,470982
1261,230099007,1,2181885,10,1577133
1262,149471697,1,1667365,10,858503
1263,104477541,1,1462181,10,755179
1264,371869193,1,2537829,10,2045636
1265,211705511,1,2007317,10,1317370
1266,115672849,1,1469381,10,626918
1267,84334939,1,1236117,10,441803
1268,77260521,1,1316725,10,461751
1269,104342901,1,1458053,10,691835
1270,207088857,1,1948645,10,1138687
1271,244881885,1,2245277,10,1837714